[[Lie algebra ideal]]
# Commutator ideal

The **commutator ideal** $\mathfrak{g'}$ of a [[Lie algebra]] $\mathfrak{g}$ is given by the [[Lie algebra|Lie bracket]] $[\mathfrak{g},\mathfrak{g}]$. #m/def/lie 
Its [[Lie algebra ideal|ideal]] status is guaranteed by [[Lie algebra ideal#^P3]].


#
---
#state/tidy | #lang/en | #SemBr